Some issues in real-time systems verification using time Petri Nets
نویسندگان
چکیده
منابع مشابه
Some Issues in Real-Time Systems Verification Using Time Petri Nets
states represent a set of concrete states of the TPN model. The firing interval set is also known as the firing domain D. The firing of transition ti leads the system to another state, at time τ + θ, which will be denoted as: (ti, θ) S ―――→ S' (3) Υ(s) denotes the set of all firing transitions in state s, and Υ(s) ⊆ enb(M). The firing rule is the base to the computation of new states and to est...
متن کاملReachability analysis of real-time systems using time Petri nets
Time Petri nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A fundamental and most widely applied method for analyzing Petri nets is reachability analysis. The existing technique for reachability analysis of TPNs, however, is not suitable for timing property verification because one cannot derive end-to-end delay in task execution, an important ...
متن کاملModeling Distributed Real-Time Systems using Adaptive Petri Nets
Industrial systems, like aircrafts or cars, are based on real-time distributed networks and require high level of robustness, reliability and adaptability. This paper first introduces our approach to implement a distributed monitor of real-time properties, and then introduce a new formalism, adaptive Petri nets, that will allow to model such complex, distributed and realtime systems. Keywords—D...
متن کاملModeling Flexible Real Time Systems with Preemptive Time Petri Nets
Preemptive Time Petri Nets are obtained by extending Time Petri Nets with an additional mechanism of resource assignment which makes the progress of timed transitions be dependent on the availability of a set of preemptable resources, and with the capability to make transition times and priorities be dependent on the marking. The combination of these capabilities supports description and verifi...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Brazilian Society of Mechanical Sciences and Engineering
سال: 2011
ISSN: 1678-5878
DOI: 10.1590/s1678-58782011000400010